type X = {+m():T}
